orderpreserving relation

保序关系